Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
811	In Graham Priest, JC Beall, and B. Armour-Garb, The Law of Non-Contradiction: New Philosophical Essays, Clarendon Press, Oxford, 2004, pp[removed]What is a Contradiction? Patrick Grim Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2008-01-28 13:40:55 Mathematical logic Philosophical logic Rules of inference Semantics Dialetheism Contradiction Law of noncontradiction Graham Priest Negation Logic Philosophy Propositional calculus
812	A characterization of definability of second-order generalized quantifiers with applications to non-definability Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-22 21:58:50 Finite model theory Model theory Propositional calculus FO First-order logic Interpretation HO Entailment Substitution Logic Mathematical logic Theoretical computer science
813	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
814	Semantic Penumbra: Concept Similarity in Logic [removed]John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:11 Propositional calculus Logical consequence Mathematical logic Entailment Paraconsistent logic First-order logic Interpretation Modal logic Relevance logic Logic Philosophical logic Non-classical logic
815	A SAT-based Sudoku Solver? Tjark Weber Institut f¨ ur Informatik, Technische Universit¨ at M¨ unchen Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-02-08 07:29:22 Recreational mathematics Theoretical computer science NP-complete problems Sudoku Backtracking Propositional calculus Sudoku algorithms Mathematics Logic puzzles Logic
816	Making Too Much of Possible Worlds John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:03 Philosophical logic Model theory Propositional calculus Philosophy of language Counterfactual conditional Possible world Interpretation First-order logic Impossible world Logic Mathematical logic Modal logic
817	30. Conditionals[removed]Conditionals 1. Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-12-01 13:44:39 Binary operations Philosophical logic Counterfactual conditional Material conditional Strict conditional Indicative conditional Conditional sentence Paul Grice Linguistic modality Logic Conditionals Propositional calculus
818	1 Plurality Rick Nouwen to appear in Maria Aloni and Paul Dekker (eds), Cambridge Handbook of Semantics, CUP. Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2012-08-31 03:43:47 Predicate logic Grammar Semantics Propositional calculus Predicate Distributive property Cumulativity Distributivity Grammatical number Logic Mathematics Mathematical logic
819	Presuppositions of superlatives with neg-raisers Rick Nouwen (Universiteit Utrecht) 1 Superlatives and Presupposition Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2014-03-12 16:18:51 Philosophy of language Pragmatics Boolean algebra Presupposition Propositional calculus Epistemology Negation Semantics Linguistics Logic
820	9124-ImmunAssayFleaTyphusFlyerPages.indd Add to Reading List Source URL: fullerlaboratories.com Language: English - Date: 2013-06-12 19:04:26 Negation Semantics Logic Linguistics Mathematical logic Boolean algebra Propositional calculus Grammar

UPDATE